Dr. Limin Jia

Associate Research Professor, Electrical and Computer Engineering

Bio

I am interested in applying formal techniques to make software systems more secure, either through using language-based techniques to build provably secure software systems, or using formal logic to verify the security properties of (distributed) software systems, or developing formalisms to reason about security and privacy guarantees of software systems in the presence of adversaries.

Publications

Click here for a full list of publications